Section: New Results

Model transformation

Participants : Jean-Christophe Bach, Pierre-Etienne Moreau.

In [10] , we have proposed a general method to transform high level models by using Tom strategies. High-level models we consider are EMF-ECore models that we represent by terms whose mappings have been generated by the Tom-EMF tool. The proposed method consists in decomposing a complex transformation into many elementary transformations (definitions) encoded by Tom strategies. These definitions are applied on a source model without any consideration of execution order. Therefore, we proposed a mechanism to address the problem of dependency between elementary transformations without introducing any scheduling between rewriting rules. This mechanism relies on the use of temporary elements which play the roles of the target elements until the last part of the transformation : the Resolve phase. The goal of this phase is to find and replace all temporary elements by real target ones, and therefore to reconnect all partial target models obtained during elementary transformations to build the resulting model.

In [11] , [15] , we presented a first proposal of a high-level transformation language included in Tom which implements the aforementioned general method. We used this language to implement an avionic case study — AADL2Fiacre — which was proposed by Airbus for the quarteFt project.